#ifndef __USERSPACE_H__
#define __USERSPACE_H__

void ekf_jump_user(void *addr, void *stack, uint32_t eflags);
void ekf_jump_user_from_trapframe(struct trapframe_s *tf);
void ekf_jump_user_from_trap_sys(struct tf_sys_s *tf);

#endif
